]> dgit.raspbian.org Git - gnome-shell.git/commit
workspaces-display: Improve pager autohide
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 16 Jun 2011 12:10:15 +0000 (14:10 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 17 Jun 2011 22:10:43 +0000 (00:10 +0200)
commit59a3e393f9dcae65a045617f2a63c96261ef6e1f
tree5cc173d1ca87152c0ca7cceeba9f563e5cecd125
parentb846354787b5d808b9cb0256ad7e55690d9cc71d
workspaces-display: Improve pager autohide

The purpose of autohiding the workspace pager on the right was to
avoid exposure of workspaces to users who are not using them.
However, for users who do use workspaces, the behavior limits the
purpose of the overview. To fix, always show the pager if more than
one workspace is actively used.

https://bugzilla.gnome.org/show_bug.cgi?id=652714
js/ui/workspacesView.js